projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b96e7c) | patch
Do not emit a warning if the .haddock file is missing
authorJoachim Breitner <nomeata@debian.org>
Sat, 24 Jan 2026 12:41:42 +0000 (14:41 +0200)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sat, 24 Jan 2026 12:41:42 +0000 (14:41 +0200)
commit4c1882c2413d9f5cd5717000e3c2ce654dcdb6d1
tree587dbfe0664ea8d930d7de30519be9645af5a48ftree | snapshot
parent3b96e7cefdabb8657ed4e2fd91f44903a44f77e6commit | diff
Do not emit a warning if the .haddock file is missing

As it is quite common on Debian installations to install the -dev package
without the -doc package.

Gbp-Pq: Name no-missing-haddock-file-warning
utils/ghc-pkg/Main.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.